\int_0^\infty \frac{\sin(x)}{x} dx